sec^2(2x) integral